<html>
<head><meta charset="utf-8"><title>Zulip Chat Archive</title></head>
<h2> Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<hr>

<h3>Topics:</h3>

<ul>
<li> <a href="topic/when.20is.20aliasing.20not.20aliasing.3F.html">when is aliasing not aliasing?</a> (14 messages, latest: Jul 28 2021 at 19:17) </li>
<li> <a href="topic/Impacts.20of.20pointer.20auth.20on.20int-ptr.20transmutes.html">Impacts of pointer auth on int-ptr transmutes</a> (18 messages, latest: Jul 23 2021 at 10:37) </li>
<li> <a href="topic/New.20Rust-related.20paper.html">New Rust-related paper</a> (52 messages, latest: Jul 19 2021 at 18:42) </li>
<li> <a href="topic/zeroed.20vs.20uninitialized.html">zeroed vs uninitialized</a> (27 messages, latest: Jul 17 2021 at 13:41) </li>
<li> <a href="topic/Relying.20on.20the.20layout.20of.20.26dyn.20Trait.html">Relying on the layout of &amp;dyn Trait</a> (16 messages, latest: Jul 16 2021 at 17:02) </li>
<li> <a href="topic/Allocation.20wrapping.20around.20the.20address.20space.html">Allocation wrapping around the address space</a> (12 messages, latest: Jul 08 2021 at 17:12) </li>
<li> <a href="topic/Transmuting.20with.20type.20parameters.html">Transmuting with type parameters</a> (2 messages, latest: Jun 17 2021 at 03:04) </li>
<li> <a href="topic/I.2FO.20safety.html">I/O safety</a> (156 messages, latest: Jun 15 2021 at 00:54) </li>
<li> <a href="topic/Exactly.20how.20evil.20is.20pointer.20arith.3F.html">Exactly how evil is pointer arith?</a> (46 messages, latest: Jun 07 2021 at 04:37) </li>
<li> <a href="topic/Borrow.20Stack.20Races.html">Borrow Stack Races</a> (56 messages, latest: Jun 02 2021 at 13:56) </li>
<li> <a href="topic/unsafe.20and.20.23.5Btarget_feature.5D.html">unsafe and #[target_feature]</a> (102 messages, latest: May 29 2021 at 11:54) </li>
<li> <a href="topic/transmuting.20.60Box.3CT.2C.20A.3E.60.20to.20.60Box.3CM.7BU.2CD.7D.3CT.3E.2C.20A.3E.60.html">transmuting `Box&lt;T, A&gt;` to `Box&lt;M{U,D}&lt;T&gt;, A&gt;`</a> (7 messages, latest: May 29 2021 at 11:51) </li>
<li> <a href="topic/An.20unsafe.20mystery.20with.20SIMD.html">An unsafe mystery with SIMD</a> (35 messages, latest: May 24 2021 at 20:54) </li>
<li> <a href="topic/FFI.20structs.20ending.20in.20variable.20sized.20arrays.2E.html">FFI structs ending in variable sized arrays.</a> (53 messages, latest: May 22 2021 at 12:47) </li>
<li> <a href="topic/Did.20we.20stabilized.20the.20layout.20of.20.26.5BT.5D.2C.20.26dyn.20Trait.3F.html">Did we stabilized the layout of &amp;[T], &amp;dyn Trait?</a> (27 messages, latest: May 10 2021 at 07:16) </li>
<li> <a href="topic/core.3A.3Aptr.3A.3Aaddr_of_mut!.20macro.20and.20race.20conditions.html">core::ptr::addr_of_mut! macro and race conditions</a> (21 messages, latest: May 07 2021 at 08:32) </li>
<li> <a href="topic/Aliasing.20and.20Stacked.20Borrows.html">Aliasing and Stacked Borrows</a> (6 messages, latest: Apr 17 2021 at 09:02) </li>
<li> <a href="topic/Add.20allow-by-default.20lints.20for.20all.20attributes.20with.20unsafe.20be.html">Add allow-by-default lints for all attributes with unsafe be</a> (17 messages, latest: Apr 13 2021 at 06:39) </li>
<li> <a href="topic/Deferencing.20Bad.20Value.20UB.20Reference.20Description.html">Deferencing Bad Value UB Reference Description</a> (23 messages, latest: Apr 06 2021 at 02:28) </li>
<li> <a href="topic/raw.20ref.20semantics.html">raw ref semantics</a> (100 messages, latest: Apr 03 2021 at 12:40) </li>
<li> <a href="topic/Transmuting.20.26Struct.20from.2Fto.20.26.5Bu8.5D.html">Transmuting &amp;Struct from/to &amp;[u8]</a> (48 messages, latest: Apr 02 2021 at 18:54) </li>
<li> <a href="topic/Casting.20pointer.20to.20integer.20still.20triggers.20UB.html">Casting pointer to integer still triggers UB</a> (55 messages, latest: Mar 27 2021 at 18:33) </li>
<li> <a href="topic/Integer-to-pointer.2C.20provenance.2C.20and.20hardware.20addresses.html">Integer-to-pointer, provenance, and hardware addresses</a> (28 messages, latest: Mar 20 2021 at 17:58) </li>
<li> <a href="topic/Raw.20pointer.20validity.20requirements.html">Raw pointer validity requirements</a> (52 messages, latest: Mar 16 2021 at 17:51) </li>
<li> <a href="topic/Implementing.20Send.20for.20a.20type.20that.20uses.20Rc.20internally.html">Implementing Send for a type that uses Rc internally</a> (4 messages, latest: Mar 10 2021 at 07:35) </li>
<li> <a href="topic/.22Safety.22.20of.20macros.html">&quot;Safety&quot; of macros</a> (16 messages, latest: Mar 05 2021 at 08:51) </li>
<li> <a href="topic/Field.20access.20wrap.20around.20possible.3F.20(offset_from.20safety.20reqs).html">Field access wrap around possible? (offset_from safety reqs)</a> (28 messages, latest: Mar 04 2021 at 10:44) </li>
<li> <a href="topic/GlobalAlloc.3A.3Arealloc.20guarantees.html">GlobalAlloc::realloc guarantees</a> (7 messages, latest: Feb 27 2021 at 12:56) </li>
<li> <a href="topic/UnsafeCells.20as.20raw.20pointers.html">UnsafeCells as raw pointers</a> (18 messages, latest: Feb 21 2021 at 16:28) </li>
<li> <a href="topic/SeqCst.20as.20the.20.22lazy.20option.22.20for.20atomic.20orderings.html">SeqCst as the &quot;lazy option&quot; for atomic orderings</a> (60 messages, latest: Feb 19 2021 at 19:32) </li>
<li> <a href="topic/Converting.20.60.26AtomicFoo.60.20to.20.60.26.5BAtomicU8.3B.20N.5D.60.20and.20using.20it.html">Converting `&amp;AtomicFoo` to `&amp;[AtomicU8; N]` and using it</a> (15 messages, latest: Feb 07 2021 at 11:20) </li>
<li> <a href="topic/Indicating.20unsafe.20implementations.20of.20safe.20traits.html">Indicating unsafe implementations of safe traits</a> (4 messages, latest: Jan 23 2021 at 16:13) </li>
<li> <a href="topic/safe.20reference.20conversion.20to.20.60repr(transparent).60.20newtype.3F.html">safe reference conversion to `repr(transparent)` newtype?</a> (25 messages, latest: Jan 18 2021 at 15:29) </li>
<li> <a href="topic/avoiding.20UB.20due.20to.20races.20by.20discarding.20result.3F.html">avoiding UB due to races by discarding result?</a> (55 messages, latest: Jan 02 2021 at 12:44) </li>
<li> <a href="topic/ptr.20to.20array.20using.20array.20indexing.html">ptr to array using array indexing</a> (31 messages, latest: Dec 30 2020 at 22:35) </li>
<li> <a href="topic/Transmuting.20Rc.3CMaybeUninit.3CT.3E.3E.20to.20Rc.3C().3E.html">Transmuting Rc&lt;MaybeUninit&lt;T&gt;&gt; to Rc&lt;()&gt;</a> (21 messages, latest: Dec 27 2020 at 12:49) </li>
<li> <a href="topic/Documenting.20ptr.3A.3Araw_const.html">Documenting ptr::raw_const</a> (22 messages, latest: Dec 26 2020 at 10:27) </li>
<li> <a href="topic/Reference.20in.20.60ptr.3A.3Awrite.60.20question.html">Reference in `ptr::write` question</a> (10 messages, latest: Dec 25 2020 at 15:22) </li>
<li> <a href="topic/Creating.20a.20safe.20interface.20to.20Thin.20Trait.20Objects.html">Creating a safe interface to Thin Trait Objects</a> (10 messages, latest: Dec 20 2020 at 19:56) </li>
<li> <a href="topic/Use-after-move.html">Use-after-move</a> (37 messages, latest: Dec 19 2020 at 14:56) </li>
<li> <a href="topic/Can.20we.20do.20without.20provenance.3F.html">Can we do without provenance?</a> (239 messages, latest: Dec 18 2020 at 18:33) </li>
<li> <a href="topic/Relying.20on.20max.20slice.20length.html">Relying on max slice length</a> (14 messages, latest: Dec 16 2020 at 20:50) </li>
<li> <a href="topic/Pointer.20provenance.20is.20real.html">Pointer provenance is real</a> (475 messages, latest: Dec 15 2020 at 20:54) </li>
<li> <a href="topic/Raw.20pointer.20to.20a.20mutex&#x27;s.20data.html">Raw pointer to a mutex&#x27;s data</a> (55 messages, latest: Dec 15 2020 at 19:41) </li>
<li> <a href="topic/Semantics.20of.20raw.20pointer.20comparisons.html">Semantics of raw pointer comparisons</a> (23 messages, latest: Dec 14 2020 at 14:34) </li>
<li> <a href="topic/Soundness.20of.20.60exhaustive_patterns.60.html">Soundness of `exhaustive_patterns`</a> (91 messages, latest: Dec 06 2020 at 20:54) </li>
<li> <a href="topic/null.20pointer.20accesses.20of.20size.200.html">null pointer accesses of size 0</a> (17 messages, latest: Nov 30 2020 at 19:06) </li>
<li> <a href="topic/The.20least.20incorrect.20init.20code.20.3A).html">The least incorrect init code :)</a> (67 messages, latest: Nov 28 2020 at 09:47) </li>
<li> <a href="topic/Box.3CT.3E.20shallow.20copy.20aliasing.2Fprovenance.html">Box&lt;T&gt; shallow copy aliasing/provenance</a> (7 messages, latest: Nov 22 2020 at 20:07) </li>
<li> <a href="topic/Packed.20structure.20UB.20concerns.html">Packed structure UB concerns</a> (16 messages, latest: Nov 21 2020 at 14:04) </li>
<li> <a href="topic/How.20does.20BoxFuture.20work.3F.html">How does BoxFuture work?</a> (5 messages, latest: Nov 18 2020 at 17:24) </li>
<li> <a href="topic/Masking.20pointer.20without.20losing.20provenance.html">Masking pointer without losing provenance</a> (17 messages, latest: Nov 14 2020 at 15:07) </li>
<li> <a href="topic/Safe.20usage.20of.20thread_local.html">Safe usage of thread_local</a> (12 messages, latest: Nov 14 2020 at 13:38) </li>
<li> <a href="topic/Undefined.20behavior.20detected.20by.20miri.html">Undefined behavior detected by miri</a> (57 messages, latest: Nov 07 2020 at 20:23) </li>
<li> <a href="topic/Can.20inline.20asm.20read.20past.20the.20end.20of.20arrays.2Fallocations.2Fetc.3F.html">Can inline asm read past the end of arrays/allocations/etc?</a> (37 messages, latest: Nov 07 2020 at 16:26) </li>
<li> <a href="topic/storing.20type.20as.20a.20byte.20array.html">storing type as a byte array</a> (15 messages, latest: Nov 07 2020 at 12:30) </li>
<li> <a href="topic/arbitrary.20aliasing.20graphs.20in.20LLVM.html">arbitrary aliasing graphs in LLVM</a> (2 messages, latest: Nov 01 2020 at 08:14) </li>
<li> <a href="topic/Whither.20*Atomic.20API.20duplication.html">Whither *Atomic API duplication</a> (1 message, latest: Oct 30 2020 at 13:44) </li>
<li> <a href="topic/Does.20UnsafeCell.3CT.3E.20leak.20mutability.html">Does UnsafeCell&lt;T&gt; leak mutability</a> (79 messages, latest: Oct 24 2020 at 16:05) </li>
<li> <a href="topic/Padding.html">Padding</a> (24 messages, latest: Oct 23 2020 at 17:15) </li>
<li> <a href="topic/Taking.20advantage.20of.20.60freeze.60.3F.html">Taking advantage of `freeze`?</a> (21 messages, latest: Oct 12 2020 at 15:25) </li>
<li> <a href="topic/Box&#x27;s.20Memory.20layout.20for.20ZSTs.html">Box&#x27;s Memory layout for ZSTs</a> (265 messages, latest: Oct 12 2020 at 15:24) </li>
<li> <a href="topic/group.20status.2C.20meaning.20of.20group.20membership.html">group status, meaning of group membership</a> (29 messages, latest: Oct 03 2020 at 09:57) </li>
<li> <a href="topic/debug_assert_hack.20for.20std.3F.html">debug_assert_hack for std?</a> (5 messages, latest: Oct 02 2020 at 06:14) </li>
<li> <a href="topic/Taking.20mutable.20references.20of.20items.20from.20slice.html">Taking mutable references of items from slice</a> (18 messages, latest: Sep 23 2020 at 15:19) </li>
<li> <a href="topic/UB.20by.20putting.20raw.20ptr.20in.20vector.3F.html">UB by putting raw ptr in vector?</a> (35 messages, latest: Sep 20 2020 at 16:08) </li>
<li> <a href="topic/Arrays.20are.20always.20contiguous.2C.20right.3F.html">Arrays are always contiguous, right?</a> (57 messages, latest: Sep 13 2020 at 11:10) </li>
<li> <a href="topic/Just.20how.20bad.20is.20a.20data.20race.20*really*.3F.html">Just how bad is a data race *really*?</a> (21 messages, latest: Sep 11 2020 at 13:33) </li>
<li> <a href="topic/.5Bdeleted.5D.html">[deleted]</a> (1 message, latest: Sep 10 2020 at 22:10) </li>
<li> <a href="topic/Wide.20pointer.20layouts.html">Wide pointer layouts</a> (13 messages, latest: Sep 07 2020 at 06:55) </li>
<li> <a href="topic/Sync.20meeting.20email.3F.html">Sync meeting email?</a> (4 messages, latest: Aug 31 2020 at 19:42) </li>
<li> <a href="topic/Language.20UB.20vs.20library.20UB.html">Language UB vs library UB</a> (82 messages, latest: Aug 29 2020 at 09:42) </li>
<li> <a href="topic/ptr.3A.3Awrite_bytes.20overconstrains.20callers.3F.html">ptr::write_bytes overconstrains callers?</a> (9 messages, latest: Aug 29 2020 at 09:39) </li>
<li> <a href="topic/What.20are.20the.20alignment.20requirements.20of.20transmute_copy.3F.html">What are the alignment requirements of transmute_copy?</a> (15 messages, latest: Aug 27 2020 at 09:15) </li>
<li> <a href="topic/VariableSizedBox.html">VariableSizedBox</a> (10 messages, latest: Aug 24 2020 at 09:43) </li>
<li> <a href="topic/Is.20this.20example.20safe.3F.html">Is this example safe?</a> (28 messages, latest: Aug 22 2020 at 12:03) </li>
<li> <a href="topic/Type.20punning.20constants.20to.20atomics.2E.2E.2E.20carefully.html">Type punning constants to atomics... carefully</a> (16 messages, latest: Aug 14 2020 at 15:11) </li>
<li> <a href="topic/Option.20of.20struct.20with.20single.20niche.html">Option of struct with single niche</a> (40 messages, latest: Aug 12 2020 at 18:48) </li>
<li> <a href="topic/State.20of.20optimizations.20based.20on.20stacked.20borrows.html">State of optimizations based on stacked borrows</a> (12 messages, latest: Aug 09 2020 at 12:42) </li>
<li> <a href="topic/Is.20it.20UB.20to.20create.20uninitialized.20i32.3F.html">Is it UB to create uninitialized i32?</a> (14 messages, latest: Aug 08 2020 at 11:26) </li>
<li> <a href="topic/Miri.20allows.20accessing.20a.20field.20of.20an.20uninitialized.20struct.html">Miri allows accessing a field of an uninitialized struct</a> (47 messages, latest: Jul 27 2020 at 12:37) </li>
<li> <a href="topic/Review.20quick.20rental.20replacement.html">Review quick rental replacement</a> (31 messages, latest: Jul 27 2020 at 00:47) </li>
<li> <a href="topic/release.20.2F.20acquire.20resources.html">release / acquire resources</a> (6 messages, latest: Jul 15 2020 at 08:46) </li>
<li> <a href="topic/Can.20I.20rely.20on.20pointer.20escape.2Fcapture.20.3F.html">Can I rely on pointer escape/capture ?</a> (141 messages, latest: Jul 15 2020 at 07:59) </li>
<li> <a href="topic/New.20pile.20of.20unsafe.20code.html">New pile of unsafe code</a> (25 messages, latest: Jul 15 2020 at 07:26) </li>
<li> <a href="topic/Highlighting.20unsafe.20code.html">Highlighting unsafe code</a> (25 messages, latest: Jul 13 2020 at 15:57) </li>
<li> <a href="topic/Unsafe.20blocks.20in.20unsafe.20fns.html">Unsafe blocks in unsafe fns</a> (2 messages, latest: Jul 13 2020 at 07:18) </li>
<li> <a href="topic/Review.20document.20unsafe.20pr.html">Review document unsafe pr</a> (6 messages, latest: Jul 02 2020 at 21:48) </li>
<li> <a href="topic/drop_in_place.20safety.html">drop_in_place safety</a> (7 messages, latest: Jun 23 2020 at 16:59) </li>
<li> <a href="topic/ManuallyDrop.3A.3A.3CBox.3CT.3E.3E.3A.3Atake.20UB.3F.html">ManuallyDrop::&lt;Box&lt;T&gt;&gt;::take UB?</a> (5 messages, latest: Jun 13 2020 at 10:09) </li>
<li> <a href="topic/DST.20layout.20if.20member.20is.20a.20DST.20slice.html">DST layout if member is a DST slice</a> (8 messages, latest: Jun 11 2020 at 12:52) </li>
<li> <a href="topic/borrow.20not.20used.20anymore.20but.20still.20in.20scope.html">borrow not used anymore but still in scope</a> (7 messages, latest: Jun 11 2020 at 08:13) </li>
<li> <a href="topic/transmute.html">transmute</a> (11 messages, latest: Jun 11 2020 at 07:59) </li>
<li> <a href="topic/What.20level.20are.20alignment.20requirements.20expressed.3F.html">What level are alignment requirements expressed?</a> (54 messages, latest: Jun 11 2020 at 07:56) </li>
<li> <a href="topic/Is.20ref-cast.20actually.20safe.3F.html">Is ref-cast actually safe?</a> (8 messages, latest: May 30 2020 at 09:08) </li>
<li> <a href="topic/Is.20prefetch.20unsafe.3F.html">Is prefetch unsafe?</a> (13 messages, latest: May 28 2020 at 16:56) </li>
<li> <a href="topic/Constructing.20ZSTs.html">Constructing ZSTs</a> (27 messages, latest: May 26 2020 at 03:18) </li>
<li> <a href="topic/*mut.20T.20-.3E.20.26T.html">*mut T -&gt; &amp;T</a> (2 messages, latest: May 21 2020 at 23:49) </li>
<li> <a href="topic/Should.20repr(C).20enum.20allow.20unknown.20discriminants.3F.html">Should repr(C) enum allow unknown discriminants?</a> (10 messages, latest: May 21 2020 at 08:26) </li>
<li> <a href="topic/Miri.20is.20awesome!.html">Miri is awesome!</a> (8 messages, latest: May 17 2020 at 08:45) </li>
<li> <a href="topic/References.20to.20(un)init.html">References to (un)init</a> (11 messages, latest: May 14 2020 at 04:59) </li>
<li> <a href="topic/pointer.20providence.20question.html">pointer providence question</a> (17 messages, latest: May 06 2020 at 19:43) </li>
<li> <a href="topic/borrows.20invalidating.20raw.20pointers.html">borrows invalidating raw pointers</a> (10 messages, latest: Apr 24 2020 at 14:19) </li>
<li> <a href="topic/NonNull.20and.20aliasing.20model.html">NonNull and aliasing model</a> (5 messages, latest: Apr 19 2020 at 07:44) </li>
<li> <a href="topic/repr(transparent).html">repr(transparent)</a> (24 messages, latest: Apr 17 2020 at 16:54) </li>
<li> <a href="topic/Transmuting.20.60-1isize.60.20to.20a.20.60Option.3Cfn.3E.60.2E.html">Transmuting `-1isize` to a `Option&lt;fn&gt;`.</a> (16 messages, latest: Apr 06 2020 at 08:54) </li>
<li> <a href="topic/stacked.20borrows.20and.20data.20races.html">stacked borrows and data races</a> (4 messages, latest: Apr 01 2020 at 07:20) </li>
<li> <a href="topic/Cow.20layout.20stability.html">Cow layout stability</a> (27 messages, latest: Mar 28 2020 at 09:20) </li>
<li> <a href="topic/Copying.20uninitialized.20memory.html">Copying uninitialized memory</a> (3 messages, latest: Mar 17 2020 at 12:15) </li>
<li> <a href="topic/pointer.20comparisons.html">pointer comparisons</a> (12 messages, latest: Mar 15 2020 at 10:43) </li>
<li> <a href="topic/Uninit.20data.20and.20DMA.html">Uninit data and DMA</a> (216 messages, latest: Mar 10 2020 at 17:32) </li>
<li> <a href="topic/no.20item.20granting.20read.20acces.20to.20tag.html">no item granting read acces to tag</a> (75 messages, latest: Mar 06 2020 at 18:21) </li>
<li> <a href="topic/Unsafe.20Policy.3A.20does.20all.20foreign.20code.20count.20as.20.22an.20unsafe.20.2E.2E.2E.html">Unsafe Policy: does all foreign code count as &quot;an unsafe ...</a> (20 messages, latest: Mar 02 2020 at 10:26) </li>
<li> <a href="topic/updating.20uninitialized.20swapping.html">updating uninitialized swapping</a> (46 messages, latest: Feb 28 2020 at 20:32) </li>
<li> <a href="topic/miri.20.22trying.20to.20reborrow.20for.20Unique.22.html">miri &quot;trying to reborrow for Unique&quot;</a> (48 messages, latest: Feb 27 2020 at 09:15) </li>
<li> <a href="topic/LLVM.20noalias.20docs.20update.html">LLVM noalias docs update</a> (4 messages, latest: Feb 27 2020 at 08:59) </li>
<li> <a href="topic/Move.20of.20special.20unions.20in.20const-eval.html">Move of special unions in const-eval</a> (3 messages, latest: Feb 26 2020 at 16:44) </li>
<li> <a href="topic/Gauging.20sanity.20of.20project.20idea.html">Gauging sanity of project idea</a> (6 messages, latest: Feb 17 2020 at 21:25) </li>
<li> <a href="topic/.26mut.20T.20to.20*mut.20.5BMaybeUninit.3Cu8.3E.5D.html">&amp;mut T to *mut [MaybeUninit&lt;u8&gt;]</a> (20 messages, latest: Feb 05 2020 at 19:03) </li>
<li> <a href="topic/Understanding.20tuple.20layout.html">Understanding tuple layout</a> (7 messages, latest: Feb 02 2020 at 21:55) </li>
<li> <a href="topic/Writing.20into.20uninit.20structs.html">Writing into uninit structs</a> (14 messages, latest: Jan 19 2020 at 18:24) </li>
<li> <a href="topic/static.20pointers.html">static pointers</a> (26 messages, latest: Jan 18 2020 at 11:12) </li>
<li> <a href="topic/Linker-generated.20arrays.html">Linker-generated arrays</a> (51 messages, latest: Jan 17 2020 at 18:51) </li>
<li> <a href="topic/rust-lang.2Flibz-sys.2359.html">rust-lang/libz-sys#59</a> (8 messages, latest: Jan 15 2020 at 20:19) </li>
<li> <a href="topic/invalidate.20through.20drop.html">invalidate through drop</a> (292 messages, latest: Jan 15 2020 at 18:39) </li>
<li> <a href="topic/slice-of-ZST.20validity.html">slice-of-ZST validity</a> (22 messages, latest: Jan 15 2020 at 16:22) </li>
<li> <a href="topic/ucg.23224.html">ucg#224</a> (13 messages, latest: Jan 09 2020 at 18:15) </li>
<li> <a href="topic/Signal.20handlers.20and.20Rust.html">Signal handlers and Rust</a> (51 messages, latest: Jan 08 2020 at 09:04) </li>
<li> <a href="topic/Transmuting.20Locks.20on.20Std.20IO.html">Transmuting Locks on Std IO</a> (26 messages, latest: Jan 07 2020 at 05:12) </li>
<li> <a href="topic/Where.20is.20info.20on.20the.20Rust.20calling.20convention.3F.html">Where is info on the Rust calling convention?</a> (8 messages, latest: Dec 28 2019 at 16:26) </li>
<li> <a href="topic/Can.20validity.20invariants.20be.20violated.20if.20we.20fix.20them.2E.2E.2E.html">Can validity invariants be violated if we fix them...</a> (165 messages, latest: Dec 26 2019 at 17:39) </li>
<li> <a href="topic/MIRI.20false.20positive.20in.20hecs.3F.html">MIRI false positive in hecs?</a> (12 messages, latest: Dec 22 2019 at 15:06) </li>
<li> <a href="topic/Guarantees.20about.20layout.20of.20generic.20aggregates.html">Guarantees about layout of generic aggregates</a> (3 messages, latest: Dec 19 2019 at 14:47) </li>
<li> <a href="topic/Can&#x27;t.20tell.20if.20it&#x27;s.20a.20miri.20false.20positive.html">Can&#x27;t tell if it&#x27;s a miri false positive</a> (66 messages, latest: Dec 14 2019 at 16:16) </li>
<li> <a href="topic/homogeneous.20aggregates.html">homogeneous aggregates</a> (46 messages, latest: Dec 05 2019 at 21:46) </li>
<li> <a href="topic/Safety.20of.20.60offset.60.20when.20working.20with.20MMIO.html">Safety of `offset` when working with MMIO</a> (20 messages, latest: Nov 25 2019 at 13:10) </li>
<li> <a href="topic/C.20struct.20alignment.html">C struct alignment</a> (65 messages, latest: Nov 25 2019 at 12:43) </li>
<li> <a href="topic/Stacked.20Borrows.3A.20the.20paper.html">Stacked Borrows: the paper</a> (1 message, latest: Nov 18 2019 at 19:47) </li>
<li> <a href="topic/Pin.20destructor.html">Pin destructor</a> (54 messages, latest: Nov 16 2019 at 09:53) </li>
<li> <a href="topic/Avoid.20UB.20on.20Vec.20on.20shared.20memory.20without.20synchronization.html">Avoid UB on Vec on shared memory without synchronization</a> (38 messages, latest: Nov 13 2019 at 07:57) </li>
<li> <a href="topic/improper.20C.20types.20and.20indirection.html">improper C types and indirection</a> (2 messages, latest: Nov 12 2019 at 18:02) </li>
<li> <a href="topic/Extern.20static.20references.html">Extern static references</a> (35 messages, latest: Nov 10 2019 at 17:47) </li>
<li> <a href="topic/Fn.20traits.20-.3E.20fn.20pointer.html">Fn traits -&gt; fn pointer</a> (21 messages, latest: Nov 10 2019 at 15:06) </li>
<li> <a href="topic/Safe.20access.20to.20volatile.20memory.html">Safe access to volatile memory</a> (367 messages, latest: Nov 06 2019 at 02:57) </li>
<li> <a href="topic/borrowing.20individual.20fields.20mutably.20from.20raw.20pointer.20rece.2E.2E.2E.html">borrowing individual fields mutably from raw pointer rece...</a> (4 messages, latest: Nov 05 2019 at 09:15) </li>
<li> <a href="topic/Suggesting.20UB.20workarounds.20to.20crate.20authors.html">Suggesting UB workarounds to crate authors</a> (55 messages, latest: Oct 27 2019 at 15:42) </li>
<li> <a href="topic/CppCon.202019.3A.20JF.20Bastien.20.E2.80.9CDeprecating.20volatile.E2.80.9D.html">CppCon 2019: JF Bastien “Deprecating volatile”</a> (23 messages, latest: Oct 22 2019 at 16:53) </li>
<li> <a href="topic/fpenv.html">fpenv</a> (16 messages, latest: Oct 19 2019 at 08:59) </li>
<li> <a href="topic/pthread_cancel.20looks.20unsound.html">pthread_cancel looks unsound</a> (74 messages, latest: Oct 17 2019 at 08:48) </li>
<li> <a href="topic/Padding.20bytes.20UB.html">Padding bytes UB</a> (31 messages, latest: Oct 16 2019 at 19:35) </li>
<li> <a href="topic/UnsafeCell.3CAtomicU32.3E.html">UnsafeCell&lt;AtomicU32&gt;</a> (83 messages, latest: Oct 16 2019 at 18:14) </li>
<li> <a href="topic/(no.20topic).html">(no topic)</a> (3 messages, latest: Oct 15 2019 at 17:39) </li>
<li> <a href="topic/unknown.20code.20Rust.20AM.20boundary.html">unknown code Rust AM boundary</a> (80 messages, latest: Oct 13 2019 at 10:45) </li>
<li> <a href="topic/Out-of-thin-air.html">Out-of-thin-air</a> (46 messages, latest: Oct 12 2019 at 22:12) </li>
<li> <a href="topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html">racy-read / volatile / untrusted memory / freeze</a> (11 messages, latest: Oct 12 2019 at 14:00) </li>
<li> <a href="topic/Abomonation.20UB.html">Abomonation UB</a> (77 messages, latest: Oct 10 2019 at 18:53) </li>
<li> <a href="topic/ucg.23203.html">ucg#203</a> (20 messages, latest: Oct 10 2019 at 05:28) </li>
<li> <a href="topic/Offsetting.20pointer.20to.20one.20struct.20field.20to.20another.20UB.3F.html">Offsetting pointer to one struct field to another UB?</a> (30 messages, latest: Oct 09 2019 at 13:28) </li>
<li> <a href="topic/Meeting.202019-09-26.html">Meeting 2019-09-26</a> (2 messages, latest: Sep 26 2019 at 11:17) </li>
<li> <a href="topic/Safety.20of.20inspecting.20bytes.20of.20a.20repr(rust).20type.2E.html">Safety of inspecting bytes of a repr(rust) type.</a> (67 messages, latest: Sep 25 2019 at 20:03) </li>
<li> <a href="topic/meeting-2019-09-19.html">meeting-2019-09-19</a> (2 messages, latest: Sep 19 2019 at 15:47) </li>
<li> <a href="topic/rc-terminology.html">rc-terminology</a> (28 messages, latest: Sep 16 2019 at 20:31) </li>
<li> <a href="topic/transmute.20vs.20from_raw_parts.html">transmute vs from_raw_parts</a> (15 messages, latest: Sep 15 2019 at 13:04) </li>
<li> <a href="topic/Meeting.202019-09-05.html">Meeting 2019-09-05</a> (1 message, latest: Sep 05 2019 at 15:15) </li>
<li> <a href="topic/union.html">union</a> (17 messages, latest: Aug 31 2019 at 07:01) </li>
<li> <a href="topic/noalias.20semantics.html">noalias semantics</a> (13 messages, latest: Aug 30 2019 at 20:11) </li>
<li> <a href="topic/Meeting.202019-08-29.html">Meeting 2019-08-29</a> (31 messages, latest: Aug 29 2019 at 23:54) </li>
<li> <a href="topic/https.3A.2F.2Fgithub.2Ecom.2Frust-lang.2Funsafe-code-guidelines.2Fpull.2F159.html">https://github.com/rust-lang/unsafe-code-guidelines/pull/159</a> (9 messages, latest: Aug 27 2019 at 14:43) </li>
<li> <a href="topic/https.3A.2F.2Fgithub.2Ecom.2Frust-lang.2Frust.2Fissues.2F63787.html">https://github.com/rust-lang/rust/issues/63787</a> (208 messages, latest: Aug 26 2019 at 19:08) </li>
<li> <a href="topic/UB.20in.20the.20nomicon.html">UB in the nomicon</a> (83 messages, latest: Aug 26 2019 at 11:05) </li>
<li> <a href="topic/validity.20requirements.20for.20wide.20trait.20object.20raw.20pointers.html">validity requirements for wide trait object raw pointers</a> (1 message, latest: Aug 24 2019 at 16:15) </li>
<li> <a href="topic/Can.20LLVM.20truncate.20a.20constant.3F.html">Can LLVM truncate a constant?</a> (12 messages, latest: Aug 24 2019 at 11:13) </li>
<li> <a href="topic/Uninitialized.20memory.20gone.20wrong.20in.20C.2FC.2B.2B.html">Uninitialized memory gone wrong in C/C++</a> (61 messages, latest: Aug 20 2019 at 09:06) </li>
<li> <a href="topic/Meeting.202019-08-15.html">Meeting 2019-08-15</a> (10 messages, latest: Aug 16 2019 at 06:23) </li>
<li> <a href="topic/mutating.20non-mutable.20statics.3A.20UB.3F.html">mutating non-mutable statics: UB?</a> (155 messages, latest: Aug 15 2019 at 08:31) </li>
<li> <a href="topic/padding.20bytes.20def.20.23183.html">padding bytes def #183</a> (165 messages, latest: Aug 14 2019 at 20:00) </li>
<li> <a href="topic/Freeze.html">Freeze</a> (31 messages, latest: Aug 14 2019 at 15:01) </li>
<li> <a href="topic/breaking.20async.2Fawait.html">breaking async/await</a> (8 messages, latest: Aug 14 2019 at 13:11) </li>
<li> <a href="topic/GitHub.20labels.html">GitHub labels</a> (8 messages, latest: Aug 14 2019 at 10:09) </li>
<li> <a href="topic/Using.20two.20statics.20to.20.22mark.20a.20region.22.html">Using two statics to &quot;mark a region&quot;</a> (65 messages, latest: Aug 12 2019 at 20:42) </li>
<li> <a href="topic/Meeting.202019-08-08.html">Meeting 2019-08-08</a> (6 messages, latest: Aug 09 2019 at 08:46) </li>
<li> <a href="topic/Better.20support.20of.20Box.3CMaybeUnit.3CT.3E.3E.20pattern.2E.html">Better support of Box&lt;MaybeUnit&lt;T&gt;&gt; pattern.</a> (13 messages, latest: Aug 08 2019 at 18:57) </li>
<li> <a href="topic/mem.3A.3Azeroed.20guarantees.20that.20all.20bytes.20are.20zero.html">mem::zeroed guarantees that all bytes are zero</a> (60 messages, latest: Aug 08 2019 at 08:29) </li>
<li> <a href="topic/provenance.20through.20integers.3F.html">provenance through integers?</a> (14 messages, latest: Aug 08 2019 at 08:22) </li>
<li> <a href="topic/Conversion.20between.20references.20to.20repr(C).20structs.html">Conversion between references to repr(C) structs</a> (13 messages, latest: Aug 07 2019 at 14:03) </li>
<li> <a href="topic/assume_init.20vs.20safety.20invariant.html">assume_init vs safety invariant</a> (11 messages, latest: Aug 06 2019 at 07:53) </li>
<li> <a href="topic/Always.20uninitialized.html">Always uninitialized</a> (21 messages, latest: Aug 05 2019 at 16:57) </li>
<li> <a href="topic/.22allocated.20object.22.html">&quot;allocated object&quot;</a> (14 messages, latest: Aug 05 2019 at 16:56) </li>
<li> <a href="topic/Array.20pointers.html">Array pointers</a> (37 messages, latest: Aug 04 2019 at 10:14) </li>
<li> <a href="topic/rename.20working.20group.html">rename working group</a> (35 messages, latest: Aug 02 2019 at 13:11) </li>
<li> <a href="topic/Meeting.202019-08-01.html">Meeting 2019-08-01</a> (135 messages, latest: Aug 02 2019 at 12:29) </li>
<li> <a href="topic/MaybeUninit.20and.20FFI.html">MaybeUninit and FFI</a> (129 messages, latest: Aug 01 2019 at 21:38) </li>
<li> <a href="topic/Is.20ptr.3A.3Aread.20followed.20by.20mem.3A.3Aforget.20valid.3F.html">Is ptr::read followed by mem::forget valid?</a> (5 messages, latest: Jul 31 2019 at 10:14) </li>
<li> <a href="topic/Definition.20of.20volatile.20semantics.html">Definition of volatile semantics</a> (12 messages, latest: Jul 29 2019 at 14:06) </li>
<li> <a href="topic/Glossary.html">Glossary</a> (10 messages, latest: Jul 29 2019 at 13:14) </li>
<li> <a href="topic/volatile.2C.20atomics.20and.20mmio.html">volatile, atomics and mmio</a> (220 messages, latest: Jul 28 2019 at 09:23) </li>
<li> <a href="topic/atomic.20intrinsic.20design.html">atomic intrinsic design</a> (18 messages, latest: Jul 27 2019 at 11:49) </li>
<li> <a href="topic/Is.20reinerpreting.20a.20slice.20.26.5Bu8.5D.20to.20.26.5Bbool.5D.20UB.3F.html">Is reinerpreting a slice &amp;[u8] to &amp;[bool] UB?</a> (14 messages, latest: Jul 27 2019 at 11:23) </li>
<li> <a href="topic/meeting-2019-07-25.html">meeting-2019-07-25</a> (157 messages, latest: Jul 26 2019 at 08:13) </li>
<li> <a href="topic/Clarification.3A.20Can.20you.20have.20.26T.20and.20*mut.20T.20point.20at.20the.20sa.2E.2E.2E.html">Clarification: Can you have &amp;T and *mut T point at the sa...</a> (188 messages, latest: Jul 24 2019 at 17:09) </li>
<li> <a href="topic/Writes.20to.20raw.20pointers.20considered.20harmful.html">Writes to raw pointers considered harmful</a> (20 messages, latest: Jul 22 2019 at 13:38) </li>
<li> <a href="topic/NonNull.20covariance.20questions.html">NonNull covariance questions</a> (3 messages, latest: Jul 21 2019 at 18:02) </li>
<li> <a href="topic/MaybeUninit.20arrays.html">MaybeUninit arrays</a> (5 messages, latest: Jul 20 2019 at 11:06) </li>
<li> <a href="topic/Miri.3A.20supporting.20more.20code.20vs.20detecting.20more.20bugs.html">Miri: supporting more code vs detecting more bugs</a> (60 messages, latest: Jul 19 2019 at 15:45) </li>
<li> <a href="topic/meeting-2019-07-18.html">meeting-2019-07-18</a> (11 messages, latest: Jul 18 2019 at 15:24) </li>
<li> <a href="topic/How.20does.20.60repr(simd).60.20really.20work.3F.html">How does `repr(simd)` really work?</a> (51 messages, latest: Jul 16 2019 at 11:03) </li>
<li> <a href="topic/volatile.20and.20libm.html">volatile and libm</a> (17 messages, latest: Jul 11 2019 at 19:09) </li>
<li> <a href="topic/ManuallyDrop.20in.20MaybeUninit.html">ManuallyDrop in MaybeUninit</a> (20 messages, latest: Jul 11 2019 at 15:22) </li>
<li> <a href="topic/Size.20.3E.3D.20Alignment.20for.20non-ZSTs.html">Size &gt;= Alignment for non-ZSTs</a> (17 messages, latest: Jul 07 2019 at 06:34) </li>
<li> <a href="topic/Valid.20example.20to.20use.20read_unaligned.html">Valid example to use read_unaligned</a> (3 messages, latest: Jul 04 2019 at 21:43) </li>
<li> <a href="topic/Unions.20with.20padding.html">Unions with padding</a> (28 messages, latest: Jul 01 2019 at 20:46) </li>
<li> <a href="topic/Type.20punning.20and.20.22active.20field.22.20of.20a.20union.html">Type punning and &quot;active field&quot; of a union</a> (135 messages, latest: Jul 01 2019 at 18:36) </li>
<li> <a href="topic/repr(transparent).20and.20transmute.html">repr(transparent) and transmute</a> (27 messages, latest: Jul 01 2019 at 06:58) </li>
<li> <a href="topic/repr(C).20unions.20need.20padding.html">repr(C) unions need padding</a> (16 messages, latest: Jun 30 2019 at 10:51) </li>
<li> <a href="topic/Misoptimization.20due.20to.20Rust.2FHW.20memory.20model.20mismatch.html">Misoptimization due to Rust/HW memory model mismatch</a> (2 messages, latest: Jun 29 2019 at 10:08) </li>
<li> <a href="topic/meeting-2019-06-20.html">meeting-2019-06-20</a> (8 messages, latest: Jun 29 2019 at 09:08) </li>
<li> <a href="topic/Is.20this.20possible.20to.20fix.20without.20API.20break.3F.html">Is this possible to fix without API break?</a> (20 messages, latest: Jun 28 2019 at 17:36) </li>
<li> <a href="topic/arch.20volatile.20operations.html">arch volatile operations</a> (215 messages, latest: Jun 28 2019 at 16:29) </li>
<li> <a href="topic/meeting-2019-06-27.html">meeting-2019-06-27</a> (1 message, latest: Jun 27 2019 at 09:12) </li>
<li> <a href="topic/Volatile.html">Volatile</a> (15 messages, latest: Jun 26 2019 at 21:21) </li>
<li> <a href="topic/Announcement.3A.20The.20Rust.20Community.20Discord.20now.20has.20a.20channe.2E.2E.2E.html">Announcement: The Rust Community Discord now has a channe...</a> (2 messages, latest: Jun 25 2019 at 16:18) </li>
<li> <a href="topic/Unsafe.20code.20reviews.3F.html">Unsafe code reviews?</a> (53 messages, latest: Jun 24 2019 at 22:07) </li>
<li> <a href="topic/Layout.20stability.3F.html">Layout stability?</a> (6 messages, latest: Jun 24 2019 at 12:55) </li>
<li> <a href="topic/Code.20Examination.3A.20slice.20casting.20(~20.20significant.20lines).html">Code Examination: slice casting (~20 significant lines)</a> (22 messages, latest: Jun 23 2019 at 13:34) </li>
<li> <a href="topic/Assumptions.20about.20MIR.20semantics.html">Assumptions about MIR semantics</a> (17 messages, latest: Jun 23 2019 at 12:13) </li>
<li> <a href="topic/triggering.20UB.20with.20pinned.20generators.html">triggering UB with pinned generators</a> (47 messages, latest: Jun 22 2019 at 13:23) </li>
<li> <a href="topic/AtomicCell.20and.20padding.html">AtomicCell and padding</a> (138 messages, latest: Jun 20 2019 at 15:23) </li>
<li> <a href="topic/validity.20of.20unions.html">validity of unions</a> (25 messages, latest: Jun 20 2019 at 15:00) </li>
<li> <a href="topic/Moving.20issues.20from.20old.20repo.3F.html">Moving issues from old repo?</a> (23 messages, latest: Jun 18 2019 at 18:01) </li>
<li> <a href="topic/Triggering.20SROA.20in.20LLVM.3F.html">Triggering SROA in LLVM?</a> (66 messages, latest: Jun 18 2019 at 15:38) </li>
<li> <a href="topic/meeting-2019-06-13.html">meeting-2019-06-13</a> (14 messages, latest: Jun 14 2019 at 17:13) </li>
<li> <a href="topic/Generator.20optimization.20for.20locals.20that.20may.20not.20become.20live.html">Generator optimization for locals that may not become live</a> (52 messages, latest: Jun 13 2019 at 15:49) </li>
<li> <a href="topic/Mathematical.2C.20rigorous.20safety.20proofs.html">Mathematical, rigorous safety proofs</a> (8 messages, latest: Jun 10 2019 at 15:44) </li>
<li> <a href="topic/.22fun.22.20anti-as_mut_slice.20in.20Bytes.20crate.html">&quot;fun&quot; anti-as_mut_slice in Bytes crate</a> (11 messages, latest: Jun 10 2019 at 09:39) </li>
<li> <a href="topic/meeting-2019-06-06.html">meeting-2019-06-06</a> (7 messages, latest: Jun 07 2019 at 08:27) </li>
<li> <a href="topic/meeting-2019-05-30.html">meeting-2019-05-30</a> (4 messages, latest: May 30 2019 at 15:16) </li>
<li> <a href="topic/Slides.20for.20talk.20on.20unsafe.20rust.html">Slides for talk on unsafe rust</a> (99 messages, latest: May 30 2019 at 14:40) </li>
<li> <a href="topic/blog.20post.20about.20.60MaybeUninit.60.html">blog post about `MaybeUninit`</a> (117 messages, latest: May 28 2019 at 22:29) </li>
<li> <a href="topic/potential.20misuse.20of.20.26mut.html">potential misuse of &amp;mut</a> (20 messages, latest: May 28 2019 at 17:41) </li>
<li> <a href="topic/Can.20we.20replace.20the.20stack.20in.20.22stacked.20borrows.22.20by.20Drop.3F.html">Can we replace the stack in &quot;stacked borrows&quot; by Drop?</a> (189 messages, latest: May 28 2019 at 14:12) </li>
<li> <a href="topic/Relying.20on.20drop.20running.html">Relying on drop running</a> (20 messages, latest: May 28 2019 at 13:37) </li>
<li> <a href="topic/Common.20Stacked.20Borrows.20violations.html">Common Stacked Borrows violations</a> (4 messages, latest: May 28 2019 at 12:54) </li>
<li> <a href="topic/Should.20.60Box.60.20really.20behave.20like.20.60.26mut.60.3F.html">Should `Box` really behave like `&amp;mut`?</a> (3 messages, latest: May 27 2019 at 17:24) </li>
<li> <a href="topic/book.20published.html">book published</a> (9 messages, latest: May 26 2019 at 22:32) </li>
<li> <a href="topic/create.20ptr.20to.20elem.20in.20unaligned.20array.html">create ptr to elem in unaligned array</a> (18 messages, latest: May 24 2019 at 16:38) </li>
<li> <a href="topic/custom.20DST.20size.2Falign.2Fetc.2E.20as.20const.20fns.3F.html">custom DST size/align/etc. as const fns?</a> (3 messages, latest: May 24 2019 at 15:58) </li>
<li> <a href="topic/Can.20.60T.3A.20&#x27;static.60.20really.20never.20point.20to.20the.20stack.3F.html">Can `T: &#x27;static` really never point to the stack?</a> (37 messages, latest: May 23 2019 at 16:26) </li>
<li> <a href="topic/meeting-2019-05-23.html">meeting-2019-05-23</a> (12 messages, latest: May 23 2019 at 15:45) </li>
<li> <a href="topic/Substitution.20principle.html">Substitution principle</a> (19 messages, latest: May 21 2019 at 19:20) </li>
<li> <a href="topic/safety.20of.20stable.20containers.html">safety of stable containers</a> (50 messages, latest: May 21 2019 at 18:08) </li>
<li> <a href="topic/.60MaybeUninit.60.20on.20the.20heap.html">`MaybeUninit` on the heap</a> (5 messages, latest: May 21 2019 at 17:31) </li>
<li> <a href="topic/piecewise.20initialization.20of.20uninitialized.20structs.html">piecewise initialization of uninitialized structs</a> (16 messages, latest: May 19 2019 at 20:26) </li>
<li> <a href="topic/.26raw.20at.20lang.20team.20meeting.html">&amp;raw at lang team meeting</a> (12 messages, latest: May 16 2019 at 19:14) </li>
<li> <a href="topic/meeting-2019-05-16.html">meeting-2019-05-16</a> (12 messages, latest: May 16 2019 at 16:04) </li>
<li> <a href="topic/State.20of.20GC.20.3C-.3E.20Rust.20integration.3F.html">State of GC &lt;-&gt; Rust integration?</a> (10 messages, latest: May 14 2019 at 16:06) </li>
<li> <a href="topic/loose.20notes.20on.20my.20mental.20model.20of.20initialization.html">loose notes on my mental model of initialization</a> (66 messages, latest: May 13 2019 at 18:53) </li>
<li> <a href="topic/deploy.20keys.html">deploy keys</a> (37 messages, latest: May 09 2019 at 16:55) </li>
<li> <a href="topic/need.20for.20arrow.20operator.20(or.20similar).html">need for arrow operator (or similar)</a> (91 messages, latest: May 08 2019 at 18:26) </li>
<li> <a href="topic/scheduling.html">scheduling</a> (8 messages, latest: May 08 2019 at 16:33) </li>
<li> <a href="topic/non-local.20goto.20and.20Pin.20.2F.20https.3A.2F.2Fgithub.2Ecom.2Frust-lang.2Frfc.2E.2E.2E.html">non-local goto and Pin / https://github.com/rust-lang/rfc...</a> (123 messages, latest: May 08 2019 at 15:28) </li>
<li> <a href="topic/GEP.20inbounds.html">GEP inbounds</a> (10 messages, latest: May 08 2019 at 12:30) </li>
<li> <a href="topic/meeting-2019-05-02.html">meeting-2019-05-02</a> (3 messages, latest: May 02 2019 at 15:18) </li>
<li> <a href="topic/LinkedList.20vs.20Stacked.20Borrows.html">LinkedList vs Stacked Borrows</a> (16 messages, latest: May 01 2019 at 09:43) </li>
<li> <a href="topic/AddressOf.20and.20stacked.20borrows.html">AddressOf and stacked borrows</a> (27 messages, latest: Apr 30 2019 at 19:14) </li>
<li> <a href="topic/are.20optimizations.20allowed.20to.20change.20program.20results.3F.html">are optimizations allowed to change program results?</a> (37 messages, latest: Apr 30 2019 at 07:13) </li>
<li> <a href="topic/meeting-2019-04-25.html">meeting-2019-04-25</a> (17 messages, latest: Apr 27 2019 at 13:13) </li>
<li> <a href="topic/fn.20pointer.20Debug.20vs.20Stacked.20Borrows.html">fn pointer Debug vs Stacked Borrows</a> (8 messages, latest: Apr 26 2019 at 14:16) </li>
<li> <a href="topic/VecDeque.20vs.20Stacked.20Borrows.html">VecDeque vs Stacked Borrows</a> (6 messages, latest: Apr 19 2019 at 20:36) </li>
<li> <a href="topic/Is.20.60Box.60.20a.20unique.20pointer.3F.html">Is `Box` a unique pointer?</a> (1 message, latest: Apr 19 2019 at 20:29) </li>
<li> <a href="topic/rand.20vs.20Stacked.20Borrows.html">rand vs Stacked Borrows</a> (1 message, latest: Apr 19 2019 at 11:47) </li>
<li> <a href="topic/meeting-2019-04-18.html">meeting-2019-04-18</a> (23 messages, latest: Apr 18 2019 at 15:58) </li>
<li> <a href="topic/Uniqueness.20of.20mutable.20references.html">Uniqueness of mutable references</a> (36 messages, latest: Apr 17 2019 at 11:32) </li>
<li> <a href="topic/Cast-to-raw.20without.20reborrow.html">Cast-to-raw without reborrow</a> (8 messages, latest: Apr 17 2019 at 06:49) </li>
<li> <a href="topic/question.20comex.html">question comex</a> (32 messages, latest: Apr 12 2019 at 12:20) </li>
<li> <a href="topic/meeting-2019-04-11.html">meeting-2019-04-11</a> (123 messages, latest: Apr 11 2019 at 16:33) </li>
<li> <a href="topic/miri.20doesn&#x27;t.20detect.20mutating.20a.20hashset.20value.html">miri doesn&#x27;t detect mutating a hashset value</a> (13 messages, latest: Apr 07 2019 at 20:26) </li>
<li> <a href="topic/meeting-2019-04-04.html">meeting-2019-04-04</a> (33 messages, latest: Apr 04 2019 at 15:42) </li>
<li> <a href="topic/reading.20uninit.20memory.20*is*.20ub.20right.3F.html">reading uninit memory *is* ub right?</a> (35 messages, latest: Apr 02 2019 at 18:58) </li>
<li> <a href="topic/transmute.3A.3A.3Cf32.2C.20u32.3E.html">transmute::&lt;f32, u32&gt;</a> (11 messages, latest: Apr 01 2019 at 17:16) </li>
<li> <a href="topic/mmap.20concerns.html">mmap concerns</a> (51 messages, latest: Mar 29 2019 at 09:36) </li>
<li> <a href="topic/UB.20and.20non-determinism.20and.20I.2FO.html">UB and non-determinism and I/O</a> (1 message, latest: Mar 29 2019 at 09:14) </li>
<li> <a href="topic/meeting-2019-03-28.html">meeting-2019-03-28</a> (8 messages, latest: Mar 28 2019 at 17:02) </li>
<li> <a href="topic/rfcs.2F.23381.20unsafe.20fields.html">rfcs/#381 unsafe fields</a> (2 messages, latest: Mar 28 2019 at 00:10) </li>
<li> <a href="topic/questions.20from.20Stack.20Overflow.html">questions from Stack Overflow</a> (22 messages, latest: Mar 26 2019 at 18:02) </li>
<li> <a href="topic/Comparison.20of.20potentially-unrelated.20pointers.20undefined.3F.html">Comparison of potentially-unrelated pointers undefined?</a> (17 messages, latest: Mar 26 2019 at 09:21) </li>
<li> <a href="topic/-.html">-</a> (2 messages, latest: Mar 25 2019 at 18:04) </li>
<li> <a href="topic/meeting-2019-03-21.html">meeting-2019-03-21</a> (4 messages, latest: Mar 21 2019 at 15:48) </li>
<li> <a href="topic/ucg.23102.html">ucg#102</a> (8 messages, latest: Mar 16 2019 at 10:37) </li>
<li> <a href="topic/transitive.20validity.20of.20references.html">transitive validity of references</a> (74 messages, latest: Mar 16 2019 at 10:24) </li>
<li> <a href="topic/fp.20layout.html">fp layout</a> (9 messages, latest: Mar 15 2019 at 12:48) </li>
<li> <a href="topic/Meeting-2019-03-14.html">Meeting-2019-03-14</a> (119 messages, latest: Mar 14 2019 at 16:20) </li>
<li> <a href="topic/first.20sync.20meeting.20with.20the.20lang.20team.html">first sync meeting with the lang team</a> (32 messages, latest: Mar 14 2019 at 15:50) </li>
<li> <a href="topic/face-to-face.html">face-to-face</a> (3 messages, latest: Mar 14 2019 at 15:20) </li>
<li> <a href="topic/Old.20memory-model.20repo.20issues.3F.html">Old memory-model repo issues?</a> (7 messages, latest: Mar 14 2019 at 15:14) </li>
<li> <a href="topic/meeting-2019-03-07.html">meeting-2019-03-07</a> (126 messages, latest: Mar 12 2019 at 15:46) </li>
<li> <a href="topic/layout.20arrays.html">layout arrays</a> (83 messages, latest: Mar 07 2019 at 16:20) </li>
<li> <a href="topic/lang.20team.20sync.20draft.html">lang team sync draft</a> (3 messages, latest: Mar 05 2019 at 23:50) </li>
<li> <a href="topic/zero-sized.20dangling.20accesses.2Finbounds-offsets.html">zero-sized dangling accesses/inbounds-offsets</a> (29 messages, latest: Feb 28 2019 at 17:22) </li>
<li> <a href="topic/Meeting-2019-02-28.html">Meeting-2019-02-28</a> (23 messages, latest: Feb 28 2019 at 16:39) </li>
<li> <a href="topic/what&#x27;s.20an.20access.3F.html">what&#x27;s an access?</a> (10 messages, latest: Feb 25 2019 at 08:32) </li>
<li> <a href="topic/there.20is.20no.20such.20thing.20as.20a.20benign.20data.20race.html">there is no such thing as a benign data race</a> (1 message, latest: Feb 23 2019 at 13:00) </li>
<li> <a href="topic/change.20github.20repo.20defaults.20to.20.22merge.22.html">change github repo defaults to &quot;merge&quot;</a> (11 messages, latest: Feb 22 2019 at 18:34) </li>
<li> <a href="topic/Change.20repo.20defualt.20merge.20policy.html">Change repo defualt merge policy</a> (2 messages, latest: Feb 22 2019 at 09:41) </li>
<li> <a href="topic/meeting-2019-02-21.html">meeting-2019-02-21</a> (82 messages, latest: Feb 21 2019 at 16:48) </li>
<li> <a href="topic/unaligned.20memory.20access.html">unaligned memory access</a> (157 messages, latest: Feb 21 2019 at 15:42) </li>
<li> <a href="topic/unused.20timestamps.html">unused timestamps</a> (13 messages, latest: Feb 21 2019 at 14:14) </li>
<li> <a href="topic/stacked.20borrows.3A.20retag.20on.20drop.20shims.html">stacked borrows: retag on drop shims</a> (7 messages, latest: Feb 21 2019 at 12:06) </li>
<li> <a href="topic/meeting-2019-02-14.html">meeting-2019-02-14</a> (35 messages, latest: Feb 18 2019 at 13:32) </li>
<li> <a href="topic/Letting.20Read.3A.3Aread.20initialize.20memory.html">Letting Read::read initialize memory</a> (93 messages, latest: Feb 14 2019 at 15:53) </li>
<li> <a href="topic/Initializing.20an.20aggregate.20field-by-field.html">Initializing an aggregate field-by-field</a> (4 messages, latest: Feb 14 2019 at 11:17) </li>
<li> <a href="topic/welcome.html">welcome</a> (1 message, latest: Feb 13 2019 at 10:34) </li>
<li> <a href="topic/overlapping.20mutable.20slices.html">overlapping mutable slices</a> (31 messages, latest: Feb 11 2019 at 21:24) </li>
<li> <a href="topic/packed_simd.20wrapping_div_unchecked.20validity.20issues.html">packed_simd wrapping_div_unchecked validity issues</a> (3 messages, latest: Feb 08 2019 at 11:24) </li>
<li> <a href="topic/meeting-2019-02-07.html">meeting-2019-02-07</a> (1 message, latest: Feb 07 2019 at 16:00) </li>
<li> <a href="topic/.2384.html">#84</a> (17 messages, latest: Feb 06 2019 at 14:32) </li>
<li> <a href="topic/meeting-2019-01-31.html">meeting-2019-01-31</a> (60 messages, latest: Jan 31 2019 at 17:06) </li>
<li> <a href="topic/bincode.html">bincode</a> (11 messages, latest: Jan 27 2019 at 18:03) </li>
<li> <a href="topic/meeting-2019-01-24.html">meeting-2019-01-24</a> (43 messages, latest: Jan 24 2019 at 16:36) </li>
<li> <a href="topic/VaList.html">VaList</a> (24 messages, latest: Jan 23 2019 at 09:18) </li>
<li> <a href="topic/validity.20of.20booleans.html">validity of booleans</a> (67 messages, latest: Jan 22 2019 at 13:39) </li>
<li> <a href="topic/meeting-2019-01-16.html">meeting-2019-01-16</a> (1 message, latest: Jan 16 2019 at 17:59) </li>
<li> <a href="topic/meeting-2019-01-10.html">meeting-2019-01-10</a> (262 messages, latest: Jan 13 2019 at 12:15) </li>
<li> <a href="topic/the.20new.20active.20topic.html">the new active topic</a> (2 messages, latest: Jan 11 2019 at 14:56) </li>
<li> <a href="topic/list.20of.20things.20requiring.20RFCs.html">list of things requiring RFCs</a> (2 messages, latest: Jan 11 2019 at 09:06) </li>
<li> <a href="topic/miri.20error.3A.20stopping.20looking.20for.20borrow.html">miri error: stopping looking for borrow</a> (71 messages, latest: Jan 05 2019 at 15:20) </li>
<li> <a href="topic/active.20topic.20area.3A.20validity.20invariants.html">active topic area: validity invariants</a> (11 messages, latest: Jan 04 2019 at 11:06) </li>
<li> <a href="topic/should.20valid.20fn.20be.20callable.20.3F.html">should valid fn be callable ?</a> (12 messages, latest: Jan 04 2019 at 10:45) </li>
<li> <a href="topic/meeting-2019-01-03.html">meeting-2019-01-03</a> (214 messages, latest: Jan 03 2019 at 18:19) </li>
<li> <a href="topic/things.20from.20Stack.20Overflow.html">things from Stack Overflow</a> (71 messages, latest: Jan 02 2019 at 15:03) </li>
<li> <a href="topic/read.2Fwrite_unaligned.20with.20ZST.html">read/write_unaligned with ZST</a> (3 messages, latest: Dec 28 2018 at 11:37) </li>
<li> <a href="topic/enum.20repr.html">enum repr</a> (60 messages, latest: Dec 26 2018 at 16:50) </li>
<li> <a href="topic/repr(C).20structs.20and.20unions.html">repr(C) structs and unions</a> (9 messages, latest: Dec 22 2018 at 22:03) </li>
<li> <a href="topic/meeting-2018-12-20.html">meeting-2018-12-20</a> (180 messages, latest: Dec 20 2018 at 17:40) </li>
<li> <a href="topic/bool.20repr.html">bool repr</a> (1 message, latest: Dec 13 2018 at 20:51) </li>
<li> <a href="topic/repr.20pointers.20and.20references.html">repr pointers and references</a> (17 messages, latest: Dec 13 2018 at 18:05) </li>
<li> <a href="topic/meeting-2018-12-13.html">meeting-2018-12-13</a> (125 messages, latest: Dec 13 2018 at 16:57) </li>
<li> <a href="topic/representation.20of.20references.html">representation of references</a> (157 messages, latest: Dec 11 2018 at 15:41) </li>
<li> <a href="topic/ref.20to.20uninitialized.20memory.html">ref to uninitialized memory</a> (36 messages, latest: Dec 11 2018 at 10:12) </li>
<li> <a href="topic/meeting.20this.20week.html">meeting this week</a> (1 message, latest: Dec 11 2018 at 09:56) </li>
<li> <a href="topic/bitwise-movable.20trait.20to.20.60Copy.60.html">bitwise-movable trait to `Copy`</a> (3 messages, latest: Dec 10 2018 at 21:53) </li>
<li> <a href="topic/.23.5Brepr(C).5D.20unions.20safer.20than.20.23.5Brepr(Rust).5D.20unions.3F.html">#[repr(C)] unions safer than #[repr(Rust)] unions?</a> (16 messages, latest: Dec 10 2018 at 18:00) </li>
<li> <a href="topic/bool.20.3D.3D.20_Bool.html">bool == _Bool</a> (158 messages, latest: Dec 07 2018 at 17:06) </li>
<li> <a href="topic/Fixing.20VecDeque.20for.20stricter.20Stacked.20Borrows.html">Fixing VecDeque for stricter Stacked Borrows</a> (22 messages, latest: Dec 07 2018 at 10:30) </li>
<li> <a href="topic/no.20meeting.20today.20right.20.3F.html">no meeting today right ?</a> (3 messages, latest: Dec 07 2018 at 10:21) </li>
<li> <a href="topic/ffi.20safety.html">ffi safety</a> (359 messages, latest: Dec 06 2018 at 08:32) </li>
<li> <a href="topic/stacked.20borrows.3A.20llvm-noalias.20violation.20in.20safe.20code.html">stacked borrows: llvm-noalias violation in safe code</a> (481 messages, latest: Dec 01 2018 at 08:46) </li>
<li> <a href="topic/memcpy.20out-of-bounds.html">memcpy out-of-bounds</a> (17 messages, latest: Nov 30 2018 at 20:13) </li>
<li> <a href="topic/meeting-2018-11-29.html">meeting-2018-11-29</a> (230 messages, latest: Nov 29 2018 at 17:06) </li>
<li> <a href="topic/validity.20of.20str.20.2F.20.26str.html">validity of str / &amp;str</a> (23 messages, latest: Nov 29 2018 at 16:30) </li>
<li> <a href="topic/.22fixed.22.20vector.html">&quot;fixed&quot; vector</a> (41 messages, latest: Nov 29 2018 at 14:34) </li>
<li> <a href="topic/packed.20UB.20error.html">packed UB error</a> (5 messages, latest: Nov 29 2018 at 09:26) </li>
<li> <a href="topic/coercions.20considered.20harmful.3A.20async.20fn.20and.20Stacked.20Borrows.html">coercions considered harmful: async fn and Stacked Borrows</a> (5 messages, latest: Nov 28 2018 at 23:12) </li>
<li> <a href="topic/wr-place-api.20hack.html">wr-place-api hack</a> (4 messages, latest: Nov 28 2018 at 20:04) </li>
<li> <a href="topic/integer.20float.20bool.html">integer float bool</a> (6 messages, latest: Nov 27 2018 at 17:21) </li>
<li> <a href="topic/two.20phase.20borrows.html">two phase borrows</a> (7 messages, latest: Nov 26 2018 at 12:46) </li>
<li> <a href="topic/BTreeMap.html">BTreeMap</a> (1 message, latest: Nov 26 2018 at 12:17) </li>
<li> <a href="topic/stacked.20borrows.3A.20barriers.20for.20non-frrozen.20shared.20refs.3F.html">stacked borrows: barriers for non-frrozen shared refs?</a> (101 messages, latest: Nov 22 2018 at 19:37) </li>
<li> <a href="topic/stacked.20borrows.3A.20.22gap.22.20between.20mutable.20and.20shared.20refs.html">stacked borrows: &quot;gap&quot; between mutable and shared refs</a> (32 messages, latest: Nov 22 2018 at 15:27) </li>
<li> <a href="topic/null.20pointer.20address.20alignment.html">null pointer address alignment</a> (5 messages, latest: Nov 22 2018 at 14:25) </li>
<li> <a href="topic/stacked.20borrows.3A.20Box.20with.20a.20unique.20tag.html">stacked borrows: Box with a unique tag</a> (4 messages, latest: Nov 21 2018 at 14:20) </li>
<li> <a href="topic/MaybeUninit.3CT.3E.20is.20not.20repr(transparent).html">MaybeUninit&lt;T&gt; is not repr(transparent)</a> (38 messages, latest: Nov 21 2018 at 13:15) </li>
<li> <a href="topic/layout.20vector.html">layout vector</a> (7 messages, latest: Nov 20 2018 at 21:15) </li>
<li> <a href="topic/playground.20miri.20redeploy.html">playground miri redeploy</a> (54 messages, latest: Nov 19 2018 at 18:57) </li>
<li> <a href="topic/stacked.20borrows.3A.20Transmute.20.26UnsafeCell.3CT.3E.20to.20T.html">stacked borrows: Transmute &amp;UnsafeCell&lt;T&gt; to T</a> (2 messages, latest: Nov 17 2018 at 11:46) </li>
<li> <a href="topic/Bit-wise.20reasoning.20for.20atomic.20accesses.html">Bit-wise reasoning for atomic accesses</a> (3 messages, latest: Nov 17 2018 at 10:43) </li>
<li> <a href="topic/stacked.20borrows.3A.20change.20tag.20on.20deref.20or.20cast.3F.html">stacked borrows: change tag on deref or cast?</a> (2 messages, latest: Nov 17 2018 at 08:07) </li>
<li> <a href="topic/safe.20low-level.20string.20mutations.html">safe low-level string mutations</a> (42 messages, latest: Nov 16 2018 at 14:28) </li>
<li> <a href="topic/repr.20of.20slices.2Ftrait.20objs.html">repr of slices/trait objs</a> (100 messages, latest: Nov 16 2018 at 13:31) </li>
<li> <a href="topic/meeting.202018-11-15.html">meeting 2018-11-15</a> (175 messages, latest: Nov 15 2018 at 16:55) </li>
<li> <a href="topic/linting.20and.20dynamic.20checking.html">linting and dynamic checking</a> (1 message, latest: Nov 15 2018 at 16:45) </li>
<li> <a href="topic/this.20week&#x27;s.20meeting.html">this week&#x27;s meeting</a> (162 messages, latest: Nov 15 2018 at 16:11) </li>
<li> <a href="topic/evil.20examples.html">evil examples</a> (2 messages, latest: Nov 15 2018 at 16:06) </li>
<li> <a href="topic/meeting.202018-11-14.html">meeting 2018-11-14</a> (12 messages, latest: Nov 15 2018 at 07:38) </li>
<li> <a href="topic/linked-list.20traversal.html">linked-list traversal</a> (7 messages, latest: Nov 14 2018 at 15:18) </li>
<li> <a href="topic/split.20impl-defined.3F.html">split impl-defined?</a> (5 messages, latest: Nov 13 2018 at 21:59) </li>
<li> <a href="topic/stacked.20borrows.3A.20Overlapping.20.26RefCell.3CT.3E.20and.20.26mut.20T.html">stacked borrows: Overlapping &amp;RefCell&lt;T&gt; and &amp;mut T</a> (14 messages, latest: Nov 13 2018 at 16:06) </li>
<li> <a href="topic/Finding.20terminology.html">Finding terminology</a> (153 messages, latest: Nov 13 2018 at 14:23) </li>
<li> <a href="topic/Zulip.20group.html">Zulip group</a> (4 messages, latest: Nov 13 2018 at 13:59) </li>
<li> <a href="topic/cargo.20install.20miri.html">cargo install miri</a> (4 messages, latest: Nov 13 2018 at 12:00) </li>
<li> <a href="topic/stacked.20borrows.html">stacked borrows</a> (2 messages, latest: Nov 12 2018 at 16:04) </li>
<li> <a href="topic/meeting.202018-11-08.html">meeting 2018-11-08</a> (24 messages, latest: Nov 08 2018 at 18:31) </li>
<li> <a href="topic/Rust.202018.20Docs.20Push.html">Rust 2018 Docs Push</a> (12 messages, latest: Nov 08 2018 at 18:21) </li>
<li> <a href="topic/stacked.20borrows.20violation.20in.20VecDeque.html">stacked borrows violation in VecDeque</a> (19 messages, latest: Nov 07 2018 at 19:07) </li>
<li> <a href="topic/stacked.20borrows.20violation.20in.20slice.20iterators.html">stacked borrows violation in slice iterators</a> (54 messages, latest: Nov 07 2018 at 18:29) </li>
<li> <a href="topic/function.20pointers.html">function pointers</a> (7 messages, latest: Nov 05 2018 at 19:31) </li>
<li> <a href="topic/all.20hands.html">all hands</a> (8 messages, latest: Nov 01 2018 at 16:15) </li>
<li> <a href="topic/miri.20question.20from.20reddit.html">miri question from reddit</a> (26 messages, latest: Oct 29 2018 at 18:30) </li>
<li> <a href="topic/IRLO.20post.20on.20meetings.html">IRLO post on meetings</a> (3 messages, latest: Oct 29 2018 at 16:35) </li>
<li> <a href="topic/twitter.html">twitter</a> (1 message, latest: Oct 25 2018 at 21:42) </li>
<li> <a href="topic/meeting.20time.20and.20DST.html">meeting time and DST</a> (58 messages, latest: Oct 25 2018 at 21:11) </li>
<li> <a href="topic/meeting.202018-10-25.html">meeting 2018-10-25</a> (135 messages, latest: Oct 25 2018 at 15:50) </li>
<li> <a href="topic/union.20and.20repr(C).html">union and repr(C)</a> (2 messages, latest: Oct 25 2018 at 15:26) </li>
<li> <a href="topic/how.20much.20determinism.html">how much determinism</a> (42 messages, latest: Oct 24 2018 at 22:44) </li>
<li> <a href="topic/stacked-borrows.html">stacked-borrows</a> (83 messages, latest: Oct 22 2018 at 17:14) </li>
<li> <a href="topic/c.2B.2B.20deprecating.20volatile.20paper.html">c++ deprecating volatile paper</a> (1 message, latest: Oct 19 2018 at 18:19) </li>
<li> <a href="topic/.60throws.60.20C.2B.2B.2F.60_Either.60.20C.20compatibility.html">`throws` C++/`_Either` C compatibility</a> (42 messages, latest: Oct 18 2018 at 17:23) </li>
<li> <a href="topic/weird.20digression.20on.20c.2Fd.html">weird digression on c/d</a> (28 messages, latest: Oct 17 2018 at 13:56) </li>
<li> <a href="topic/meeting.202018-10-11.html">meeting 2018-10-11</a> (148 messages, latest: Oct 11 2018 at 20:47) </li>
<li> <a href="topic/meeting.202018-09-27.html">meeting 2018-09-27</a> (5 messages, latest: Sep 27 2018 at 16:01) </li>
<li> <a href="topic/data-invariants.html">data-invariants</a> (323 messages, latest: Sep 19 2018 at 13:14) </li>
<li> <a href="topic/best.20game.3A.20is.20this.20UB.3F.html">best game: is this UB?</a> (65 messages, latest: Sep 17 2018 at 17:55) </li>
<li> <a href="topic/stricter-unions.html">stricter-unions</a> (4 messages, latest: Sep 17 2018 at 17:42) </li>
<li> <a href="topic/meeting.202018-08-30.html">meeting 2018-08-30</a> (236 messages, latest: Sep 14 2018 at 17:31) </li>
<li> <a href="topic/meeting.202018-09-13.html">meeting 2018-09-13</a> (170 messages, latest: Sep 13 2018 at 19:49) </li>
<li> <a href="topic/general.html">general</a> (30 messages, latest: Sep 06 2018 at 00:06) </li>
<li> <a href="topic/Accessing.20uninitialized.20field.20lvalues.html">Accessing uninitialized field lvalues</a> (3 messages, latest: Aug 31 2018 at 06:33) </li>
<li> <a href="topic/size-of-fn-pointer-versus-data-pointer.html">size-of-fn-pointer-versus-data-pointer</a> (7 messages, latest: Aug 24 2018 at 18:12) </li>
<li> <a href="topic/data-type-layout.html">data-type-layout</a> (72 messages, latest: Aug 24 2018 at 16:18) </li>
<li> <a href="topic/how-to-cope.html">how-to-cope</a> (78 messages, latest: Aug 24 2018 at 15:47) </li>
<li> <a href="topic/ongoing-projects.html">ongoing-projects</a> (8 messages, latest: Aug 24 2018 at 13:21) </li>
<li> <a href="topic/hello.html">hello</a> (81 messages, latest: Aug 23 2018 at 17:30) </li>
<li> <a href="topic/exhaustiveness.20checking.html">exhaustiveness checking</a> (57 messages, latest: Aug 13 2018 at 22:43) </li>
<li> <a href="topic/github-team.html">github-team</a> (5 messages, latest: Aug 08 2018 at 18:20) </li>
</ul>

<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>